Special section on real-time safety-critical systems
نویسندگان
چکیده
منابع مشابه
Development of Safety-Critical Real-Time Systems
This paper presents an approach to the development of safety-critical real-time systems linking from the Requirements Language developed in the ESPRIT Project ProCoS to the Temporal Language of Transitions (TLT) speciication language developed at Siemens Corporate Research. A system is deened by a conventional mathematical model for a dynamic system where application speciic states denote funct...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملScheduling and timing analysis for safety critical real-time systems
The scheduling of tasks in safety critical systems such that the timing requirements are reliably met is often di cult. Safety critical systems are di erent to other systems because a failure to meet a requirement may lead to a catastrophic e ect, for example an accident leading to loss of life. For this reason, there is a greater emphasis on veri cation and validation of software than with oth...
متن کاملValidation of Safety-Critical Distributed Real-Time Systems
A safety-critical distributed real-time system is an electronic system where a system failure may cause a severe hazard that will endanger human life or the environment. For the development of such systems, it is desirable to determine in an early development phase whether the system can cause such a hazardous event, before a hardware is built and before the system is in service. This thesis pr...
متن کاملAutonomous Hard Real-time Response in Safety-Critical Systems
Autonomy introduces computational complexity, particularly when multiple behaviors are required to handle events that compromise safety. A real-time control plan specifies actions plus a resource schedule to guarantee real-time constraints will be met during plan execution. The Cooperative Real-time Control Architecture (CIRCA) was designed to automatically create and execute real-time control ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Innovations in Systems and Software Engineering
سال: 2009
ISSN: 1614-5046,1614-5054
DOI: 10.1007/s11334-009-0083-6